package sketch.issta11.specifystatements;

import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class Z_ChooseOneStatement_Example extends TestCase {

	@TestSketch
	public void testChooseOne() {
		{/*@ChooseOne*/
			foo_1();
			bar_1();
		}
		{/*@ChooseOne*/
			foo_2();
			bar_2();
		}
	}
	
	@TestSketch
	public void testChooseOne_nest() {
		{/*@ChooseOne*/
			foo_1();
			foo_2();
			{/*@ChooseOne*/
				bar_1();
				bar_2();
			}
		}
	}
	
	public void foo_1() {}
	public void foo_2() {}
	
	public void bar_1() {}
	public void bar_2() {}
}